Logan University - PDFSEARCH.IO - Document Search Engine

Logan University
Results: 589

#	Item
201	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-23 13:46:17 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
202	It’s About Time Neil Madden and Brian Logan University of Nottingham School of Computer Science and Information Technology Jubilee Campus, Triumph Road, Nottingham, NG8 1BB. {nem,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-08-12 15:04:38 Mind Cognitive psychology Multiple drafts model Physicalism Benjamin Libet Cartesian theater Circular buffer Tap Consciousness Explained Philosophy of mind Cognitive science Computer memory
203	Atomic Intentions in Jason+ Daniel Kiss, Neil Madden, and Brian Logan School of Computer Science University of Nottingham, UK. [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-02-01 12:03:32 Software engineering AgentSpeak Prolog Logic programming Belief–desire–intention model Atom 2APL Belief–desire–intention software model Computing Multi-agent systems Artificial intelligence
204	Verifying resource requirements for distributed rule-based systems Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-10-29 15:01:19 Computer hardware Aquatic communities in the British National Vegetation Classification system MOS Technology Agnus Motorways of Switzerland Aggregate Rete algorithm
205	Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-08 13:15:13 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing
206	Resource-Bounded Belief Revision and Contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science, University of Nottingham, Nottingham, UK {nza, mtw, bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:56:48 Logic Artificial intelligence Theory of justification Contraction Science Epistemology Logic programming Knowledge representation Belief revision
207	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-02-27 06:28:19 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
208	Keeping in Touch: Agents Reporting from Collaborative Virtual Environments Brian Logan, Mike Fraser, Daniel Fielding, Steve Benford, Chris Greenhalgh School of Computer Science and IT University of Nottingham, Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-01-21 05:59:22 Agent-based model Ambient intelligence Intelligent agent Virtual reality Virtual world Human–computer interaction Software agent Presence Knowledge Artificial intelligence Science Embodied agent
209	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-04-08 05:17:39 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
210	Belief ascription under bounded resources ∗ Natasha Alechina and Brian Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK ({nza,bsl}@cs.nott.ac.uk) Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-08-27 04:02:10 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus

UPDATE